Boyer-Moore prover

Boyer-Moore证明器